--- a/docs/src/allegro._tx	2020-12-24 17:20:47.460212662 -0600
+++ a/docs/src/allegro._tx	2020-12-24 17:22:03.453620793 -0600
@@ -23,6 +23,7 @@
 @man_shortdesc_force1=allegro
 @man_shortdesc_force2=Allegro game programming library.
 @$\input texinfo
+@$@documentencoding ISO-8859-1
 @$@setfilename allegro.inf
 @$@settitle Allegro Manual
 @$@setchapternewpage odd
